Using Optimization to Obtain a Width-Independent, Parallel, Simpler, and Faster Positive SDP Solver

نویسندگان

  • Zeyuan Allen Zhu
  • Yin Tat Lee
  • Lorenzo Orecchia
چکیده

We study the design of polylogarithmic depth algorithms for approximately solving packing and covering semidefinite programs (or positive SDPs for short). This is a natural SDP generalization of the well-studied positive LP problem. Although positive LPs can be solved in polylogarithmic depth while using only Õ(log n/ε) parallelizable iterations [4, 33], the best known positive SDP solvers due to Jain and Yao [18] require O(log n/ε) parallelizable iterations. Several alternative solvers have been proposed to reduce the exponents in the number of iterations [19, 30]. However, the correctness of the convergence analyses in these works has been called into question [30], as they both rely on algebraic monotonicity properties that do not generalize to matrix algebra. In this paper, we propose a very simple algorithm based on the optimization framework proposed in [4] for LP solvers. Our algorithm only needs Õ(log n/ε) iterations, matching that of the best LP solver. To surmount the obstacles encountered by previous approaches, our analysis requires a new matrix inequality that extends Lieb-Thirring’s inequality, and a sign-consistent, randomized variant of the gradient truncation technique proposed in [3, 4]. ∗The abstract of a previous version of this paper has appeared in the proceedings of SODA 2016. [1] ar X iv :1 50 7. 02 25 9v 2 [ cs .D S] 1 1 Ja n 20 16

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Aerodynamic Design Optimization Using Genetic Algorithm (RESEARCH NOTE)

An efficient formulation for the robust shape optimization of aerodynamic objects is introduced in this paper. The formulation has three essential features. First, an Euler solver based on a second-order Godunov scheme is used for the flow calculations. Second, a genetic algorithm with binary number encoding is implemented for the optimization procedure. The third ingredient of the procedure is...

متن کامل

SDPTools: High Precision SDP Solver in Maple

Semidefinite programs are an important class of convex optimization problems. It can be solved efficiently by SDP solvers in Matlab, such as SeDuMi, SDPT3, DSDP. However, since we are running fixed precision SDP solvers in Matlab, for some applications, due to the numerical error, we can not get good results. SDPTools is a Maple package to solve SDP in high precision. We apply SDPTools to the c...

متن کامل

Sdpa Project : Solving Large-scale Semidefinite Programs

The Semidefinite Program (SDP) has recently attracted much attention of researchers in various fields for the following reasons: (i) It has been intensively studied in both theoretical and numerical aspects. Especially the primal-dual interior-point method is known as a powerful tool for solving large-scale SDPs with accuracy. (ii) Many practical problems in various fields such as combinatorial...

متن کامل

A Simpler and Faster Version of Two-Dimensional Gel Electrophoresis Using Vertical, Mini SDS-PAGE Apparatus

We have modified one of the most useful methods of protein separation; namely, two dimensional gel electrophoresis (2-DE). This modified version of 2-DE is not only simpler and easier but also faster than all the currently available methods. In this method, isoelectric focusing is carried out in the first dimension using a vertical sodium dodecyl sulfate polyacrylamide gel electrop...

متن کامل

Inexactness of SDP Relaxation for Optimal Power Flow over Radial Networks and Valid Inequalities for Global Optimization

It has been recently proven that the semidefinite programming (SDP) relaxation of the optimal power flow problem over radial networks is exact in the absence of generation lower bounds. In this paper, we investigate the situation where generation lower bounds are present. We show that even for a two-bus one-generator system, the SDP relaxation can have all possible approximation outcomes, that ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016